Scientific modelling with diagrams
نویسندگان
چکیده
منابع مشابه
Diagrammatic Reasoning in Scientific Discovery: Modelling Galileo’s Kinematic Diagrams
Diagrams are ubiquitous in scientific discovery and scientific reasoning. The uses of diagrams are studied by examining their role in Galileo’s work on kinematics and the computational benefits of reasoning with diagrams are investigated by comparing computational models of conventional and diagrammatic approaches to discovery. Diagrams provide a convenient form of representation for experiment...
متن کاملModelling Message Buffers with Binary Decision Diagrams
several di erent messages into one When using the latter two methods one has to be careful to preserve the se mantics of the original model CGL Using these techniques we have been able to verify systems with up to di erent messages Alternative Approaches In GL BG it is suggested to extend the BDD data structure for the representation of message bu ers The new data structures are called QBDDs an...
متن کاملModelling Recursive Calls with UML State Diagrams
One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a state diagram. UML permits a transition of the state diagram to show both the event which causes the transition (typically, the fact that the object receives a message) and the object’s reaction (typically, the fact that the obj...
متن کاملInformational Diagrams in Scientific Documents
Much of the work on diagrammatic reasoning assumes that the structure of the diagrams has already been determined. This is not the case when dealing with diagrams in the published scientific literature. So we are building a system that can understand these diagrams, starting from the graphics primitives such as lines and polygons and resulting in symbolic and veridical representations of the di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2019
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-019-02239-0